检索结果

Select

1. 实时嵌入式软件时间抽象状态机的扩展

单锦辉, 张路, 王金波, 张涛

北京大学学报自然科学版 2019, 55 (2): 197-208. DOI: 10.13209/j.0479-8023.2019.005

摘要（1690）

HTML

PDF（pc）（741KB）（218）

针对时间抽象状态机(TASM)存在的不足, 对TASM进行扩展, 增加数组数据类型、while循环处理规则以及“%”, “&”, “|”, “^”, “>>”和“<<”等运算符, 定义扩展后TASM的语法和语义。采用扩展后的TASM为实际的实时嵌入式软件需求建模, 通过实验, 验证了采用扩展后的TASM为实时嵌入式软件需求建模的有效性。

相关文章 | 多维度评价 | 评论（0）

Select

2. 基于合约的构件易测试性设计支撑工具的设计与实现

单锦辉,姜瑛,刘江红,辛国茂,侯姗姗

北京大学学报（自然科学版）

摘要（485）

构件技术的新特点为构件测试带来挑战。合约式设计是一种重要的软件易测试性设计方法。基于合约的构件易测试性设计为构件测试提供了一种有效的手段。设计并实现了一种新的合约式设计工具（PKUJDBCT），为构件的易测试性设计提供有力的支撑，并为今后进一步研究基于合约的构件易测试性设计方法打下了良好的基础。

相关文章 | 多维度评价 | 评论（0）

Select

3. 软件测试研究进展

单锦辉,姜瑛,孙萍

北京大学学报（自然科学版）

摘要（937）

从软件测试的技术与过程、持续的软件测试、软件测试的充分性准则等方面简要介绍软件测试的基本思想；讨论软件测试中的若干问题，包括面向路径的测试数据自动生成、测试预言、期望结果的自动生成、回归测试等；并且探讨软件测试的发展趋势，包括构件测试、软件的易测试性与基于合约的构件易测试性设计和Web Services测试等。

相关文章 | 多维度评价 | 评论（0）